package com.googlecode.bts_lambda;

/**
 * User: Timofey Bondarev
 * Date: 22.05.11
 * Time: 19:27
 */

public class LApplication extends LTerm {
    private LTerm left;
    private LTerm right;

    public LApplication(LTerm left, LTerm right) {
        this.left = left;
        this.right = right;
    }

    @Override
    public String toString() {
        return new StringBuffer(left.toString()).append(" ").append(right).toString();
    }
}
